Paris type - PDFSEARCH.IO - Document Search Engine

Paris type
Results: 139

#	Item
11	A logical framework for incremental type-checking Matthias Puech1,2 1 Dept. Yann R´egis-Gianas2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-05-20 08:53:24
12	Certifying, incremental type checking Matthias Puech1,2 and Yann R´egis-Gianas1 1 2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-07-02 12:39:27
13	CERTIFICATES FOR INCREMENTAL TYPE CHECKING Thesis defense Matthias Puech Università di Bologna Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2013-04-16 11:47:56
14	A logical framework for incremental type-checking Matthias Puech1,2 1 Dept. Yann R´egis-Gianas2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-08-31 11:20:00
15	A logical framework for incremental type-checking Matthias Puech1,2 1 Dept. Yann R´egis-Gianas2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-05-23 07:58:51
16	Safe Incremental Type Checking Matthias Puech Yann R´egis-Gianas 2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-11-28 09:03:58
17	Thesis Proposal – Dottorato di Ricerca in Informatica Towards formalized mathematics repositories based on type theory Matthias Puech∗ Dipartimento di Scienze dell’Informazione — Universit` Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2011-05-20 08:53:24
18	Certificates for incremental type checking Matthias Puech1,2 1 Dept. 2 Univ. Yann R´egis-Gianas2 Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-14 11:16:44
19	BROCHURE DE LICENCE Mention : Langues, littérature et civilisations étrangères et régionales (LLCER) Parcours type : AnglaisPages Add to Reading List Source URL: www.paris-sorbonne.fr Language: French - Date: 2015-11-17 10:29:52

UPDATE